type A = B | (C)
